Skip to content

systemquery api to query headers#15

Open
marler8997 wants to merge 1 commit intomainfrom
headerChecks
Open

systemquery api to query headers#15
marler8997 wants to merge 1 commit intomainfrom
headerChecks

Conversation

@marler8997
Copy link
Copy Markdown
Collaborator

@marler8997 marler8997 commented Apr 25, 2026

This does speed up the build but I'm actually not sure it's best yet. It will speed up the first build but, it also adds time to subsequent builds, it's not much time (maybe 10ms or so) but I'd like to explore better solutions that don't add 10ms to every build, where we can query the filesystem only when python needs to be rebuilt.

@marler8997 marler8997 force-pushed the headerChecks branch 3 times, most recently from 7576257 to 33d14a8 Compare April 25, 2026 01:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant